// $Id$
// vim:ft=javascript

// If your extension references something external, use ARG_WITH
// ARG_WITH("theme", "for theme support", "no");

// Otherwise, use ARG_ENABLE
// ARG_ENABLE("theme", "enable theme support", "no");

if (PHP_THEME != "no") {
	EXTENSION("theme", "theme.c");
}

